Malinowski Strong versus weak quantum consequence operations

نویسنده

  • Jacek Malinowski
چکیده

This paper is a study of similarities and differences between strong and weak quantum consequence operations determined by a given class of ortholattices. We prove that the only strong orthologics which admits the deduction theorem (the only strong orthologics with algebraic semantics, the only equivalential strong orthologics, respectively) is the classical logic. In the papers concerning quantum logics, there exist two different notions of logical consequences determined by a class of ortholattices. Historically first there was the notion of logical consequence created by G. Kalmbach [9]. A sentence α is a (weak) logical consequence of the set X of sentences iff in every model and every valuation in which every sentence of the set X has the unit of certain ortholattice as its logical value, the sentence α has the unit as its logical value, too. The weak consequence operation determined by the class of orthomodular lattices was intensively studied. [10] contains the monograph of this approach. From the algebraic point of view the weak orthologics (this means the weak consequence operations determined by any class of ortholattices) and especially the weak orthomodular logics possess numerous desirable properties. In particular the weak orthologics have strongly adequate algebraic semantics, moreover the weak orthomodular logics are implicative in the sense of [14]. However no weak orthomodular orthologic admits the deduction theorem [12]. H. Dishkant in [5] has given a Kripke-style semantics for the set of all sentences which hold true in all ortholattices. Kripke-style semantics treated as a consequence operation semantics determines another kind of orthologics, namely following strong orthologics: A sentence α is the (strong) logical consequence of the set of sentences X if and only if for any ortholattice A from a given class of ortholattices and any valuation v, v(β) ≤ v(α) for every β ∈ X (the symbol ≤ denotes the lattice order of A). This approach is due to R. Goldblatt’s paper [6]. The review of results concerning strong orthologics can be find in [7].

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Strong Versus Weak Quantum Consequence Operations

This paper is a study of similarities and di erences between strong and weak quantum consequence operations determined by a given class of ortholattices. We prove that the only strong orthologics which admits the deduction theorem (the only strong orthologics with algebraic semantics, the only equivalential strong orthologics, respectively) is the classical logic. In the papers concerning quant...

متن کامل

Some Remarks on Axiomatizing Logical Consequence Operations

In this paper we investigate the relation between the axiomatization of a given logical consequence operation and axiom systems defining the class of algebras related to that consequence operation. We show examples which prove that, in general there are no natural relation between both ways of axiomatization.

متن کامل

On a Time Symmetric Formulation of Quantum Mechanics

We explore further the suggestion to describe a preand post-selected system by a two-state, which is determined by two conditions. Starting with a formal definition of a two-state Hilbert space and basic operations, we systematically recast the basics of quantum mechanics dynamics, observables, and measurement theory in terms of two-states as the elementary quantities. We find a simple and sugg...

متن کامل

Measurement-Induced Strong Kerr Nonlinearity for Weak Quantum States of Light.

Strong nonlinearity at the single photon level represents a crucial enabling tool for optical quantum technologies. Here we report on experimental implementation of a strong Kerr nonlinearity by measurement-induced quantum operations on weak quantum states of light. Our scheme coherently combines two sequences of single photon addition and subtraction to induce a nonlinear phase shift at the si...

متن کامل

Forms of Quantum Nonseparability and Related Philosophical Consequences

Standard quantum mechanics unquestionably violates the separability principle that classical physics (be it point-like analytic, statistical, or field-theoretic) accustomed us to consider as valid. In this paper, quantum nonseparability is viewed as a consequence of the Hilbert-space quantum mechanical formalism, avoiding thus any direct recourse to the ramifications of Kochen-Specker’s argumen...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003